provable theory

Translations
théorie démontrable